On Quadratizations of Homogeneous Polynomial Systems of Odes
نویسندگان
چکیده
The quadratizations of a (homogeneous nonquadratic) nonlinear polynomial system of ODEs introduced by Myung and Sagle in [17] is considered. The 1-1 correspondence between homogeneous quadratic systems of ODEs and nonassociative algebras is used to prove a special structure of the algebra corresponding to a general homogeneous quadratic systems being a quadratization. Every homogeneous solution-preserving map (corresponding to a quadratization) determines the so called essential set which turns out to be crucial for preserving the (in)stability of the origin from homogeneous nonquadratic systems to their quadratizations and vice versa. In particular the quadratizations of homogeneous systems x = fα (x) (of order α > 2) and cubic planar systems are considered. In the main result we prove that for quadratizations of cubic planar systems the (in)stability of the origin is preserved from the original system ~x = fα (~x), α > 2 to the quadratization (regarding the essential set of the corresponding solution-preserving map) and vice versa.
منابع مشابه
Relationships between Darboux Integrability and Limit Cycles for a Class of Able Equations
We consider the class of polynomial differential equation x&= , 2(,)(,)(,)nnmnmPxyPxyPxy++++2(,)(,)(,)nnmnmyQxyQxyQxy++&=++. For where and are homogeneous polynomials of degree i. Inside this class of polynomial differential equation we consider a subclass of Darboux integrable systems. Moreover, under additional conditions we proved such Darboux integrable systems can have at most 1 limit cycle.
متن کاملComputational bounds on polynomial differential equations
In this paper we study from a computational perspective some properties of the solutions of polynomial ordinary differential equations. We consider elementary (in the sense of Analysis) discrete-time dynamical systems satisfying certain criteria of robustness. We show that those systems can be simulated with elementary and robust continuous-time dynamical systems which can be expanded into full...
متن کاملQuadratizations of symmetric pseudo-Boolean functions: sub-linear bounds on the number of auxiliary variables
The problem of minimizing a pseudo-Boolean function with no additional constraints arises in a variety of applications. A quadratization is a quadratic reformulation of the nonlinear problem obtained by introducing a set of auxiliary binary variables which can be optimized using quadratic optimization techniques. Using the well-known result that a pseudoBoolean function can be uniquely expresse...
متن کاملNon-linear Continuous Systems for Safety Verification (Benchmark Proposal)
Safety verification of hybrid dynamical systems relies crucially on the ability to reason about reachable sets of continuous systems whose evolution is governed by a system of ordinary differential equations (ODEs). Verification tools are often restricted to handling a particular class of continuous systems, such as e.g. differential equations with constant right-hand sides, or systems of affin...
متن کاملQuadratic reformulations of nonlinear binary optimization problems
Very large nonlinear unconstrained binary optimization problems arise in a broad array of applications. Several exact or heuristic techniques have proved quite successful for solving many of these problems when the objective function is a quadratic polynomial. However, no similarly efficient methods are available for the higher degree case. Since high degree objectives are becoming increasingly...
متن کامل